๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”— Constraint Handling

CHR, Logic Programming, Rule Systems, Constraint Propagation

SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.toยท12hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.itยท2dยท
Discuss: Hacker News
๐Ÿ”Type Inference
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.comยท3hยท
Discuss: ws-dl.blogspot.com
โœจEffect Handlers
Cactus Language โ€ข Stylistics 4
inquiryintoinquiry.comยท1d
๐ŸŒณContext free grammars
Binary Search in a 2D Matrix
mmhaskell.comยท2d
๐Ÿ“Error Bounds
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.orgยท23h
๐ŸŒณContext free grammars
Categorical Features: The Backbone of Search & Recs Engineering
shaped.aiยท2d
๐Ÿง Learned Indexing
Machine Learning Fundamentals: dimensionality reduction
dev.toยท12hยท
Discuss: DEV
๐Ÿ“Linear Algebra
Solving the Context Rot Problem for Coding Agents
install.mdยท7hยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Unlock Geminiโ€™s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.comยท6h
โšกProof Automation
Students, here are 5 key things to know when learning how to train large language models
techradar.comยท1d
๐Ÿ’ปLocal LLMs
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.toยท14hยท
Discuss: DEV
๐Ÿ“Concrete Syntax
From Equal Weights to Smart Weights: OTPOโ€™s Approach to Better LLM Alignment
towardsdatascience.comยท1d
๐ŸงฎKolmogorov Bounds
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.comยท1hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
How to reason from first principles
caseyhandmer.wordpress.comยท8h
๐ŸŽฏProof Tactics
My favorite use-case for AI is writing logs
vickiboykis.comยท1d
๐ŸŒณIncremental Parsing
Asymmetry of Verification and Verifier's Law
jasonwei.netยท1dยท
Discuss: Hacker News
๐Ÿ”ฎProof Search
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.devยท13hยท
Discuss: Hacker News
๐ŸŒŠStream Processing
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.ioยท2dยท
Discuss: Hacker News, r/programming
๐Ÿ›ก๏ธPreservation Proofs
Functional Abstract Interpretation
simon.peytonjones.orgยท2dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Loading...Loading more...
AboutBlogChangelogRoadmap